ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging (2021)
Geh, Renato Lui ; Mauá, Denis Deratani
Source: Proceedings of Machine Learning Research : PMLR. Conference titles: Conference on Uncertainty in Artificial Intelligence - UAI. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEH, Renato Lui e MAUÁ, Denis Deratani. Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging. Proceedings of Machine Learning Research : PMLR. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://proceedings.mlr.press/v161/geh21a/geh21a-supp.pdf. Acesso em: 27 abr. 2024. , 2021
APA
Geh, R. L., & Mauá, D. D. (2021). Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging. Proceedings of Machine Learning Research : PMLR. Brookline: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://proceedings.mlr.press/v161/geh21a/geh21a-supp.pdf
NLM
Geh RL, Mauá DD. Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging [Internet]. Proceedings of Machine Learning Research : PMLR. 2021 ; 161 2039-2049.[citado 2024 abr. 27 ] Available from: https://proceedings.mlr.press/v161/geh21a/geh21a-supp.pdf
Vancouver
Geh RL, Mauá DD. Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging [Internet]. Proceedings of Machine Learning Research : PMLR. 2021 ; 161 2039-2049.[citado 2024 abr. 27 ] Available from: https://proceedings.mlr.press/v161/geh21a/geh21a-supp.pdf
Trabalho de evento-anais periodico
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (2020)
Finger, Marcelo ; Preto, Sandro
Source: Journal of Automated Reasoning. Conference titles: Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10817-020-09558-9. Acesso em: 27 abr. 2024. , 2020
APA
Finger, M., & Preto, S. (2020). Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Journal of Automated Reasoning. Dordreccht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10817-020-09558-9
NLM
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Vancouver
Finger M, Preto S. Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics [Internet]. Journal of Automated Reasoning. 2020 ; 64( 7): 1269-1286.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/s10817-020-09558-9
Trabalho de evento
Learning probabilistic sentential decision diagrams by sampling (2020)
Geh, Renato Lui ; Mauá, Denis Deratani ; Antonucci, Alessandro
Source: Proceedings. Conference titles: Symposium on Knowledge Discovery, Mining and Learning - KDMiLe. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GEH, Renato Lui e MAUÁ, Denis Deratani e ANTONUCCI, Alessandro. Learning probabilistic sentential decision diagrams by sampling. 2020, Anais.. Porto Alegre: SBC, 2020. Disponível em: https://doi.org/10.5753/kdmile.2020.11968. Acesso em: 27 abr. 2024.
APA
Geh, R. L., Mauá, D. D., & Antonucci, A. (2020). Learning probabilistic sentential decision diagrams by sampling. In Proceedings. Porto Alegre: SBC. doi:10.5753/kdmile.2020.11968
NLM
Geh RL, Mauá DD, Antonucci A. Learning probabilistic sentential decision diagrams by sampling [Internet]. Proceedings. 2020 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.5753/kdmile.2020.11968
Vancouver
Geh RL, Mauá DD, Antonucci A. Learning probabilistic sentential decision diagrams by sampling [Internet]. Proceedings. 2020 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.5753/kdmile.2020.11968
Trabalho de evento-anais periodico
Robust analysis of MAP inference in selective sum-product nNetworks (2019)
Villanueva Llerena, Julissa Giuliana ; Mauá, Denis Deratani
Source: Proceedings of Machine Learning Research : PMLR. Conference titles: International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VILLANUEVA LLERENA, Julissa Giuliana e MAUÁ, Denis Deratani. Robust analysis of MAP inference in selective sum-product nNetworks. Proceedings of Machine Learning Research : PMLR. Brookline: Microtome Publishing. Disponível em: http://proceedings.mlr.press/v103/villanueva-llerena19a/villanueva-llerena19a.pdf. Acesso em: 27 abr. 2024. , 2019
APA
Villanueva Llerena, J. G., & Mauá, D. D. (2019). Robust analysis of MAP inference in selective sum-product nNetworks. Proceedings of Machine Learning Research : PMLR. Brookline: Microtome Publishing. Recuperado de http://proceedings.mlr.press/v103/villanueva-llerena19a/villanueva-llerena19a.pdf
NLM
Villanueva Llerena JG, Mauá DD. Robust analysis of MAP inference in selective sum-product nNetworks [Internet]. Proceedings of Machine Learning Research : PMLR. 2019 ; 103 430–440.[citado 2024 abr. 27 ] Available from: http://proceedings.mlr.press/v103/villanueva-llerena19a/villanueva-llerena19a.pdf
Vancouver
Villanueva Llerena JG, Mauá DD. Robust analysis of MAP inference in selective sum-product nNetworks [Internet]. Proceedings of Machine Learning Research : PMLR. 2019 ; 103 430–440.[citado 2024 abr. 27 ] Available from: http://proceedings.mlr.press/v103/villanueva-llerena19a/villanueva-llerena19a.pdf
Parte de monografia/livro
Extending EL++ with linear constraints on the probability of axioms (2019)
Finger, Marcelo
Source: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Unidade: IME
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo. Extending EL++ with linear constraints on the probability of axioms. Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Tradução . Cham: Springer, 2019. . Disponível em: https://doi.org/10.1007/978-3-030-22102-7_13. Acesso em: 27 abr. 2024.
APA
Finger, M. (2019). Extending EL++ with linear constraints on the probability of axioms. In Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. doi:10.1007/978-3-030-22102-7_13
NLM
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Vancouver
Finger M. Extending EL++ with linear constraints on the probability of axioms [Internet]. In: Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer; 2019. [citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/978-3-030-22102-7_13
Artigo de periodico
Probabilistic assessment of power distribution systems resilience under extreme weather (2019)
Bessani, Michel; Massignan, Julio A. D.; Fanucchi, Rodrigo Z.; Camillo, Marcos H. M.; London Junior, João Bosco Augusto; Delbem, Alexandre Cláudio Botazzo ; Maciel, Carlos Dias
Source: IEEE Systems Journal. Unidades: EESC, ICMC
Subjects: DISTRIBUIÇÃO DE ENERGIA ELÉTRICA, REDES COMPLEXAS, REDES COMPLEXAS, DISTRIBUIÇÃO DE ENERGIA ELÉTRICA, FALHAS COMPUTACIONAIS, CLIMATOLOGIA DINÂMICA, RACIOCÍNIO PROBABILÍSTICO, PROTEÇÃO DE SISTEMAS ELÉTRICOS, PLANEJAMENTO ENERGÉTICO, TOMADA DE DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BESSANI, Michel et al. Probabilistic assessment of power distribution systems resilience under extreme weather. IEEE Systems Journal, v. 13, n. 2, p. 1747-1756, 2019Tradução . . Disponível em: https://doi.org/10.1109/JSYST.2018.2853554. Acesso em: 27 abr. 2024.
APA
Bessani, M., Massignan, J. A. D., Fanucchi, R. Z., Camillo, M. H. M., London Junior, J. B. A., Delbem, A. C. B., & Maciel, C. D. (2019). Probabilistic assessment of power distribution systems resilience under extreme weather. IEEE Systems Journal, 13( 2), 1747-1756. doi:10.1109/JSYST.2018.2853554
NLM
Bessani M, Massignan JAD, Fanucchi RZ, Camillo MHM, London Junior JBA, Delbem ACB, Maciel CD. Probabilistic assessment of power distribution systems resilience under extreme weather [Internet]. IEEE Systems Journal. 2019 ; 13( 2): 1747-1756.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1109/JSYST.2018.2853554
Vancouver
Bessani M, Massignan JAD, Fanucchi RZ, Camillo MHM, London Junior JBA, Delbem ACB, Maciel CD. Probabilistic assessment of power distribution systems resilience under extreme weather [Internet]. IEEE Systems Journal. 2019 ; 13( 2): 1747-1756.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1109/JSYST.2018.2853554
Trabalho de evento
Using neural models to perform inference (2019)
Salvatore, Felipe de Souza; Preto, Sandro ; Finger, Marcelo ; Hirata Júnior, Roberto
Source: Proceedings. Conference titles: International Workshop on Neural-Symbolic Learning and Reasoning - NeSy. Unidade: IME
Subjects: APRENDIZADO COMPUTACIONAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALVATORE, Felipe de Souza et al. Using neural models to perform inference. 2019, Anais.. Vienna: IJCAI, 2019. Disponível em: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view. Acesso em: 27 abr. 2024.
APA
Salvatore, F. de S., Preto, S., Finger, M., & Hirata Júnior, R. (2019). Using neural models to perform inference. In Proceedings. Vienna: IJCAI. Recuperado de https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
NLM
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 abr. 27 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
Vancouver
Salvatore F de S, Preto S, Finger M, Hirata Júnior R. Using neural models to perform inference [Internet]. Proceedings. 2019 ;[citado 2024 abr. 27 ] Available from: https://drive.google.com/file/d/1HcPIXDwlZRu6zm0srwxEqVXYbdh4QiNT/view
Parte de monografia/livro
Inconsistency measurement in probabilistic logic (2018)
De Bona, Glauber ; Finger, Marcelo ; Potyka, Nico; Thimm, Matthias
Source: Measuring inconsistency in information. Unidades: IME, EP
Subjects: LÓGICA, RACIOCÍNIO PROBABILÍSTICO, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber et al. Inconsistency measurement in probabilistic logic. Measuring inconsistency in information. Tradução . London: College Publications, 2018. . Disponível em: http://www.mthimm.de/pub/2018/DeBona_2018.pdf. Acesso em: 27 abr. 2024.
APA
De Bona, G., Finger, M., Potyka, N., & Thimm, M. (2018). Inconsistency measurement in probabilistic logic. In Measuring inconsistency in information. London: College Publications. Recuperado de http://www.mthimm.de/pub/2018/DeBona_2018.pdf
NLM
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 abr. 27 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Vancouver
De Bona G, Finger M, Potyka N, Thimm M. Inconsistency measurement in probabilistic logic [Internet]. In: Measuring inconsistency in information. London: College Publications; 2018. [citado 2024 abr. 27 ] Available from: http://www.mthimm.de/pub/2018/DeBona_2018.pdf
Trabalho de evento
Occupation measure heuristics to solve stochastic shortest path with dead ends (2018)
Fernández, Milton Condori; Barros, Leliane Nunes de ; Delgado, Karina Valdivia
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidades: IME, EACH
Subjects: PROGRAMAÇÃO LINEAR, RACIOCÍNIO PROBABILÍSTICO, PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNÁNDEZ, Milton Condori e BARROS, Leliane Nunes de e DELGADO, Karina Valdivia. Occupation measure heuristics to solve stochastic shortest path with dead ends. 2018, Anais.. Piscataway: IEEE, 2018. Disponível em: https://doi.org/10.1109/BRACIS.2018.00096. Acesso em: 27 abr. 2024.
APA
Fernández, M. C., Barros, L. N. de, & Delgado, K. V. (2018). Occupation measure heuristics to solve stochastic shortest path with dead ends. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2018.00096
NLM
Fernández MC, Barros LN de, Delgado KV. Occupation measure heuristics to solve stochastic shortest path with dead ends [Internet]. Proceedings. 2018 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.1109/BRACIS.2018.00096
Vancouver
Fernández MC, Barros LN de, Delgado KV. Occupation measure heuristics to solve stochastic shortest path with dead ends [Internet]. Proceedings. 2018 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.1109/BRACIS.2018.00096
Trabalho de evento
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic (2018)
Finger, Marcelo ; Preto, Sandro
Source: Proceedings. Conference titles: International Joint Conference on Automated Reasoning - IJCAR. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e PRETO, Sandro. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. 2018, Anais.. Cham: Springer, 2018. Disponível em: https://doi.org/10.1007/978-3-319-94205-6_14. Acesso em: 27 abr. 2024.
APA
Finger, M., & Preto, S. (2018). Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. In Proceedings. Cham: Springer. doi:10.1007/978-3-319-94205-6_14
NLM
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Vancouver
Finger M, Preto S. Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic [Internet]. Proceedings. 2018 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/978-3-319-94205-6_14
Trabalho de evento-anais periodico
The effect of combination functions on the complexity of relational Bayesian networks (2016)
Mauá, Denis Deratani ; Cozman, Fabio Gagliardi
Source: Journal of Machine Learning Research. Conference titles: International Conference on Probabilistic Graphical Models - PMLR. Unidades: EP, IME
Subjects: INFERÊNCIA BAYESIANA, INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani e COZMAN, Fabio Gagliardi. The effect of combination functions on the complexity of relational Bayesian networks. Journal of Machine Learning Research. Brookline: Escola Politécnica, Universidade de São Paulo. Disponível em: http://proceedings.mlr.press/v52/maua16.pdf. Acesso em: 27 abr. 2024. , 2016
APA
Mauá, D. D., & Cozman, F. G. (2016). The effect of combination functions on the complexity of relational Bayesian networks. Journal of Machine Learning Research. Brookline: Escola Politécnica, Universidade de São Paulo. Recuperado de http://proceedings.mlr.press/v52/maua16.pdf
NLM
Mauá DD, Cozman FG. The effect of combination functions on the complexity of relational Bayesian networks [Internet]. Journal of Machine Learning Research. 2016 ;( 52): 333-344.[citado 2024 abr. 27 ] Available from: http://proceedings.mlr.press/v52/maua16.pdf
Vancouver
Mauá DD, Cozman FG. The effect of combination functions on the complexity of relational Bayesian networks [Internet]. Journal of Machine Learning Research. 2016 ;( 52): 333-344.[citado 2024 abr. 27 ] Available from: http://proceedings.mlr.press/v52/maua16.pdf
Artigo de periodico
Equivalences between maximum a posteriori inference in Bayesian networks and maximum expected utility computation in influence diagrams (2016)
Mauá, Denis Deratani
Source: International Journal of Approximate Reasoning. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, PROBABILIDADE APLICADA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAUÁ, Denis Deratani. Equivalences between maximum a posteriori inference in Bayesian networks and maximum expected utility computation in influence diagrams. International Journal of Approximate Reasoning, v. 68, n. Ja 2016, p. 211-229, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.ijar.2015.03.007. Acesso em: 27 abr. 2024.
APA
Mauá, D. D. (2016). Equivalences between maximum a posteriori inference in Bayesian networks and maximum expected utility computation in influence diagrams. International Journal of Approximate Reasoning, 68( Ja 2016), 211-229. doi:10.1016/j.ijar.2015.03.007
NLM
Mauá DD. Equivalences between maximum a posteriori inference in Bayesian networks and maximum expected utility computation in influence diagrams [Internet]. International Journal of Approximate Reasoning. 2016 ; 68( Ja 2016): 211-229.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.ijar.2015.03.007
Vancouver
Mauá DD. Equivalences between maximum a posteriori inference in Bayesian networks and maximum expected utility computation in influence diagrams [Internet]. International Journal of Approximate Reasoning. 2016 ; 68( Ja 2016): 211-229.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.ijar.2015.03.007
Artigo de periodico
Generalized probabilistic satisfiability through integer programming (2015)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of the Brazilian Computer Society. Unidades: EP, IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, COMPUTABILIDADE E COMPLEXIDADE, INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, v. 21, p. 14 , 2015Tradução . . Disponível em: https://doi.org/10.1186/s13173-015-0028-x. Acesso em: 27 abr. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2015). Generalized probabilistic satisfiability through integer programming. Journal of the Brazilian Computer Society, 21, 14 . doi:10.1186/s13173-015-0028-x
NLM
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 abr. 27 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Vancouver
De Bona G, Cozman FG, Finger M. Generalized probabilistic satisfiability through integer programming [Internet]. Journal of the Brazilian Computer Society. 2015 ; 21 14 .[citado 2024 abr. 27 ] Available from: https://doi.org/10.1186/s13173-015-0028-x
Artigo de periodico-carta/editorial
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial] (2015)
Finger, Marcelo (Editor) ; Kesner, Delia (Editor)
Source: Theoretical Computer Science. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, LINGUÍSTICA COMPUTACIONAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]. Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.tcs.2015.10.028. Acesso em: 27 abr. 2024. , 2015
APA
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]. (2015). Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial]. Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.tcs.2015.10.028
NLM
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial] [Internet]. Theoretical Computer Science. 2015 ; no 2015) 1.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.tcs.2015.10.028
Vancouver
Special issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA). [Editorial] [Internet]. Theoretical Computer Science. 2015 ; no 2015) 1.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.tcs.2015.10.028
Artigo de periodico
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation (2015)
De Bona, Glauber ; Finger, Marcelo
Source: Artificial Intelligence. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, v. 227, p. 140-164, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.artint.2015.06.006. Acesso em: 27 abr. 2024.
APA
De Bona, G., & Finger, M. (2015). Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Artificial Intelligence, 227, 140-164. doi:10.1016/j.artint.2015.06.006
NLM
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Vancouver
De Bona G, Finger M. Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation [Internet]. Artificial Intelligence. 2015 ; 227 140-164.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.artint.2015.06.006
Artigo de periodico
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (2015)
Finger, Marcelo ; De Bona, Glauber
Source: Annals of Mathematics and Artificial Intelligence. Unidade: IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e DE BONA, Glauber. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, v. 75, n. 3-4, p. 351-389, 2015Tradução . . Disponível em: https://doi.org/10.1007/s10472-015-9466-6. Acesso em: 27 abr. 2024.
APA
Finger, M., & De Bona, G. (2015). Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Annals of Mathematics and Artificial Intelligence, 75( 3-4), 351-389. doi:10.1007/s10472-015-9466-6
NLM
Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
Vancouver
Finger M, De Bona G. Probabilistic satisfiability: algorithms with the presence and absence of a phase transition [Internet]. Annals of Mathematics and Artificial Intelligence. 2015 ; 75( 3-4): 351-389.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1007/s10472-015-9466-6
Dissertação (Mestrado)
Web-based relational robot navigation under uncertain perception (2014)
Mayor Toro, Walter Mauricio; Reali Costa, Anna Helena (Orientador)
Unidade: EP
Subjects: ROBÓTICA, WEB SEMÂNTICA, RACIOCÍNIO PROBABILÍSTICO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MAYOR TORO, Walter Mauricio. Web-based relational robot navigation under uncertain perception. 2014. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2014. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3139/tde-26082015-165514/. Acesso em: 27 abr. 2024.
APA
Mayor Toro, W. M. (2014). Web-based relational robot navigation under uncertain perception (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3139/tde-26082015-165514/
NLM
Mayor Toro WM. Web-based relational robot navigation under uncertain perception [Internet]. 2014 ;[citado 2024 abr. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3139/tde-26082015-165514/
Vancouver
Mayor Toro WM. Web-based relational robot navigation under uncertain perception [Internet]. 2014 ;[citado 2024 abr. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3139/tde-26082015-165514/
Artigo de periodico
Towards classifying propositional probabilistic logics (2014)
De Bona, Glauber ; Cozman, Fabio Gagliardi ; Finger, Marcelo
Source: Journal of Applied Logic. Unidades: EP, IME
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e COZMAN, Fabio Gagliardi e FINGER, Marcelo. Towards classifying propositional probabilistic logics. Journal of Applied Logic, v. 12, n. 3, p. 349-368, 2014Tradução . . Disponível em: https://doi.org/10.1016/j.jal.2014.01.005. Acesso em: 27 abr. 2024.
APA
De Bona, G., Cozman, F. G., & Finger, M. (2014). Towards classifying propositional probabilistic logics. Journal of Applied Logic, 12( 3), 349-368. doi:10.1016/j.jal.2014.01.005
NLM
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Vancouver
De Bona G, Cozman FG, Finger M. Towards classifying propositional probabilistic logics [Internet]. Journal of Applied Logic. 2014 ; 12( 3): 349-368.[citado 2024 abr. 27 ] Available from: https://doi.org/10.1016/j.jal.2014.01.005
Relatorio tecnico
Notes on measuring inconsistency in probabilistic logic (2014)
De Bona, Glauber ; Finger, Marcelo
Unidades: IME, EP
Subjects: INTELIGÊNCIA ARTIFICIAL, RACIOCÍNIO PROBABILÍSTICO, LÓGICA MATEMÁTICA APLICADA, PROBABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DE BONA, Glauber e FINGER, Marcelo. Notes on measuring inconsistency in probabilistic logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf. Acesso em: 27 abr. 2024. , 2014
APA
De Bona, G., & Finger, M. (2014). Notes on measuring inconsistency in probabilistic logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
NLM
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Vancouver
De Bona G, Finger M. Notes on measuring inconsistency in probabilistic logic [Internet]. 2014 ;[citado 2024 abr. 27 ] Available from: https://repositorio.usp.br/directbitstream/79640248-0a28-4512-9825-172322d22245/2672094.pdf
Trabalho de evento
Stochastic bisimulation for MDPs using reachability analysis (2013)
Santos, Felipe Martins dos; Barros, Leliane Nunes de ; Gamarra Holguin, Mijail
Source: Proceedings. Conference titles: Brazilian Conference on Intelligent Systems - BRACIS. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, PROCESSOS DE MARKOV, PROCESSOS ESTOCÁSTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Felipe Martins dos e BARROS, Leliane Nunes de e GAMARRA HOLGUIN, Mijail. Stochastic bisimulation for MDPs using reachability analysis. 2013, Anais.. Piscataway: IEEE, 2013. Disponível em: https://doi.org/10.1109/BRACIS.2013.43. Acesso em: 27 abr. 2024.
APA
Santos, F. M. dos, Barros, L. N. de, & Gamarra Holguin, M. (2013). Stochastic bisimulation for MDPs using reachability analysis. In Proceedings. Piscataway: IEEE. doi:10.1109/BRACIS.2013.43
NLM
Santos FM dos, Barros LN de, Gamarra Holguin M. Stochastic bisimulation for MDPs using reachability analysis [Internet]. Proceedings. 2013 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.1109/BRACIS.2013.43
Vancouver
Santos FM dos, Barros LN de, Gamarra Holguin M. Stochastic bisimulation for MDPs using reachability analysis [Internet]. Proceedings. 2013 ;[citado 2024 abr. 27 ] Available from: https://doi.org/10.1109/BRACIS.2013.43

USP Schools

ReP

Filtros

Document Types

USP Schools

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies